<?php

10;
1.1;
6.674083e-11;
299792458;
0xCAFEF00D;
0b01011111;
0137041;
